Fitting Flixborough into a pattern

On Fitting a Formal Method into Practice

The development of the Event-B formal method and the supporting tools Rodin and ProB was guided by practical experiences with the B-Method, the Z specification notation, VDM and similar practical formal methods. The case study discussed in this article — a cruise control system — is a serious test of industrial use. We report on where Event-B and its tools have succeeded, where they have not. W...

Flixborough: the Disaster and Its Aftermath

Block truncation coding using pattern fitting

Block truncation coding (BTC) divides an image into blocks having given size and then encodes each block by two representative gray levels and a bit-pattern. In this work a modi"ed scheme of BTC is proposed where the computed representative gray levels are the bias and the contrast in each block. Secondly, instead of determining bit-pattern for each block, an optimum bit-pattern is selected fro...

Flixborough revisited - an explosion simulation approach.

A literature study of explosion estimation reports from the Flixborough accident was performed and commented. The results from this survey were compared to the results obtained from explosion simulations. The simulations were done with a computer model of the Flixborough plant using the EXSIM software simulation tool. The comparison showed that explosion magnitude estimates in the literature ba...

Disaster of Chemical Plant at Flixborough

(Summary) The Flixborough Works of Nypro (UK) Ltd. were demolished at about 4:53 p.m. on Saturday June 1st. 1974, by an explosion of warlike dimensions which was the equivalent of 15 tonnes of TNT. Of those w orking on the si te at t he t ime, 28 w ere ki lled and 36 ot hers suf fered injuries. Outs ide t he works in juries and damage were widespread. 53 people were recorded as casualties, whil...